| Autor(i): | Anderson, Robert |
| Naslov: | Dokazatel'stvo pravil'nosti programm / R. Anderson ; perev. s angl. B. N. Zobninoj ; pod red. D. B. Podšivalova |
| Impresum: | Moskva : Mir , 1982 |
| Materijalni opis: | 163 str. ; 20 cm |
| Jezik: | Ruski Engleski |
| Napomena: | Prijevod djela: Proving programs correct. - New York... [etc.] : John Wiley & Sons, 1979. - Bibliografija: str. 154-159. - Kazalo |
| Ključne riječi: | programiranje |
| Podaci o fondu: | KONČAR-INDOK |
| Signatura: | III/8045 |
| Inventarni broj: | 15393 |
| Vrsta građe: | knjiga |
| Knjižnica: | KONČAR - institut za elektrotehniku, INDOK, http://www.koncar-institut.hr/sadrzaj.as... |
| MFN: | 3851 |
|